DES re Emulation Using Java Card

نویسندگان

  • Jorge Prado Casanovas
  • Gauthier Van Damme
چکیده

This paper presents a Java Card applet o ering the same functionality as a widely used contactless storage card. The goal is to provide a solution for secure and widely deployable data storage for smart phones. The applet provides an independent storage space for di erent applications with their own keys and con guration and is fully compatible with the MIFARE DES re Card EV1 technology. It can be installed in every Java Card 2.2.1 compatible Smart Card. Integration with Google Android phones is possible using a secure micro-SD card or other secure platforms that feature a JavaCard chip and a NFC antenna. The DES re emulator can be accessed both externally through NFC, or internally through the smart phone OS. In the last few years, the number of di erent electronic applications using secure elements have grown markedly. It is easy to take a look at things that are used day by day and nd that secure storage is needed for a big part of them. Credit cards, access control, public transport, supermarket vouchers... Curiously most of them are found in our wallets. On the other hand, mobile phones have been growing recently in the number of applications where they are used, increasing their value in our pockets. It has been found iteresting to move all this stu to our smart phone with the aim of reducing the number of things carried by the clients. Thus, a secure storage is needed in the smart phone to provide such a service. Up to now, each card within our wallet had its chip where the secure data was stored. Our credit for public phones, our vouchers for our

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formal Model and Implementation of the Java Card Dynamic Security Policy

Résumé. Les méthodes formelles sont aujourd’hui un moyen d’améliorer la qualité des processus de developpement logiciel. Cet article propose une application de la méthode B, méthode formelle basée sur la théorie ensembliste, au domaine d’activité spécifique qu’est la Java Card. Les cartes à puce sont un élément de la sécurité des systèmes d’information. L’assurance du respect de la sécurité peu...

متن کامل

Achieving High-Latency, Low-Bandwidth Communication: Logic Emulation Interfaces

There is a large amount of interest in using multi-FPGA systems for logic emulation and rapid-prototyping of digital systems. One difficulty with this approach is the handling of the external interfaces of the system. In this paper we describe a generic interface transducer, a board capable of handling the external interfaces of the system under prototype, allowing the emulation to operate in t...

متن کامل

CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security

We describe an implementation of a Java program to perform automated deduction in propositional multi-modal logics on a Java smart card. The tight space limits of Java smart cards make the implementation non-trivial. A potential application is to ensure that applets down-loaded off the internet conform to personalised security permissions stored on the Java card using a security policy encoded ...

متن کامل

Toward Automatic Generation of Provably Correct Java Card Applets

This paper overviews an ongoing project aimed at developing an automatic generator of Java Card applets from higher-level spec(ification)s written in a domain-specific language called “SmartSlang”. The generator is based on Specware, a system for the formal specification and refinement of software. The applet generator translates a SmartSlang spec into the logical language of Specware, re-expre...

متن کامل

Software Card Emulation in NFC-enabled Mobile Phones: Great Advantage or Security Nightmare?

Software card emulation is a new approch to advance the interoperability of NFC with legacy contactless smartcard systems. It has been first introduced to NFC-enabled mobile phones by Research In Motion (RIM) on their BlackBerry platform. Software card emulation aims at opening and simplifying the complex and tightly controlled card emulation functionality. While this form of card emulation, th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011